Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
971	The theory of Mezzo François Pottier INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-05-01 09:27:23 Functional languages Procedural programming languages Computability theory Lambda calculus Theoretical computer science Kernel Linux kernel ML Mathematics Computing Software engineering
972	Hypothesis Formation and Language Acquisition with an Infinitely-Often Correct Teacher Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:56 Computability theory Inductive inference Inductive reasoning Inference Statistical inference Function Heat equation Primitive recursive function Mathematics Mathematical analysis Functions and mappings
973	Proof Systems for Retracts in Simply Typed Lambda Calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-07-16 11:15:23 Computability theory Lambda calculus Logic in computer science Combinatory logic Sigma-algebra Mathematics Mathematical logic Theoretical computer science
974	Higher-Order Matching, Games and Automata Colin Stirling School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:43:23 Symbol Mathematics Applied mathematics Computer science Spectral theory Computability theory Lambda calculus Theoretical computer science
975	David J. Anderson and Edward N. Zalta Frege, Boolos, and Logical Objects∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2006-06-01 01:52:19 Analytic philosophers Set theory Computability theory Formal methods Models of computation Gottlob Frege Lambda calculus S First-order logic Mathematical logic Logic Mathematics
976	Turing Test: 50 Years Later AYSE PINAR SAYGIN1 , ILYAS CICEKLI2 & VAROL AKMAN2 1 Department of Cognitive Science, University of California, San Diego, La Jolla, CA[removed], Add to Reading List Source URL: www.simonlaven.com Language: English - Date: 2011-06-12 15:41:12 Science Computer science Theory of computation Computability theory Human–computer interaction Turing test Computing Machinery and Intelligence Chinese room Algorithm Artificial intelligence Alan Turing Philosophy of artificial intelligence
977	Book Review The Essential Turing Add to Reading List Source URL: www.ams.org Language: English - Date: 2006-10-06 14:59:11 Theory of computation Mathematics Alan Turing Turing machine Hypercomputation Turing test Church–Turing thesis Jack Copeland Entscheidungsproblem Computability theory Theoretical computer science Computer science
978	JMLR: Workshop and Conference Proceedings vol[removed]–[removed]25th Annual Conference on Learning Theory Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2012-06-19 09:17:19
979	Brief C.V. Name: Steven Lindell, Professor of Computer Science Address: Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:28 Academia Knowledge Computability theory Sheila Greibach Logic Mathematical logic Theoretical computer science Complexity Computation Science Formal sciences Abstraction
980	On the foundations of constructive mathematics — especially in relation to the theory of continuous functions Add to Reading List Source URL: www.fwaaldijk.nl Language: English - Date: 2011-07-29 12:07:36 Logic Epistemology Logic in computer science Bar induction Mathematical induction Constructivism Ordinal number Computability theory Constructible universe Mathematical logic Mathematical constructivism Mathematics

UPDATE